<html>
    <head>
        <title></title>
        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
        <link rel="stylesheet" type="text/css" href="../style.css">
    </head>
    <body>
        <div class="text">
        <h2>Tracer</h2>
        The Tracer part of the program can only be executed, if a file containing a Mini-Ada
        program is opened and within focus. You can start the trace by clicking the matching
        menu- or toolbar item or by pressing "F6". After a configurable amount of steps the
        program will ask you, if you want to continue the trace or if you want to abort the
        trace. This is to reduce the risk of getting into an endess loop. If the trace has been
        successfully finished, a new file will be created in the same directory as the traced
        file, named "Trace_package_procedure_#.txt". This file contains exactly the same as the
        tab "Trace".<br/>
        <br/>
        A trace is executed like this:<br/>
        Each command will get evaluated, one after the other. Each step is documented and 
        stored. After each command the acutal Environment of the variables is printed out.
        At the end of while- and if-lines, as well as at assertions and bounds, there is the
        evaluated value of this statement, "true" or "false". Loops will be shown as often as
        their condition evalutes to true.
        </div>
    </body>
</html>
